Computer engineering - PDFSEARCH.IO - Document Search Engine

Computer engineering
Results: 53783

#	Item
991	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
992	PLTW Launch Classroom Teacher The Role of the PLTW Launch Classroom Teacher PLTW Launch Classroom Teachers deliver PLTW Launch curriculum to kindergarten through fifth grade students. The classroom teachers represent a w Add to Reading List Source URL: www.pltw.org Language: English - Date: 2015-07-29 15:15:28 Education Learning Knowledge sharing Project Lead the Way Education policy Science technology engineering and mathematics Teacher Training Vince Bertram AP Computer Science Principles
993	SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-23 09:19:29 Theoretical computer science Computing Software engineering Logic in computer science Automated theorem proving Static program analysis Termination analysis Rewriting KeY Automated reasoning Bytecode Christoph Walther
994	TRB & Transformational Technologies Automated Vehicle Symposium July, 2016 TRANSFORMATIONAL TECHNOLOGIES: Add to Reading List Source URL: higherlogicdownload.s3.amazonaws.com Language: English - Date: 2016-07-26 09:00:01 Security National Cooperative Highway Research Program Transportation in the United States Engineering Computer security Automation
995	Lecture 6 Interfaces Pet-able! Andries van D am © 2015 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-09-28 21:59:46 Software engineering Computing Object-oriented programming Computer programming Inheritance Class Interface Method Object Java Multiple inheritance Fragile base class
996	OpenMP Tutorial Arnamoy Bhattacharyya Scalable Parallel Computing Laboratory ETH Zurich Oct 2, 2014 Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-03 04:26:06 Computing Computer programming Parallel computing Software engineering Application programming interfaces Fortran OpenMP Automatic parallelization tool SPMD
997	Manipulation in Games Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:49 Game theory Mechanism design Social choice theory Nash equilibrium
998	Creating Communities in Digication Login to your Digication account ( http://www.laguardia.edu/eportfoliosso/ ). Click the “Click here” button to enter the login screen. Enter your login information. (See image 1.1) Add to Reading List Source URL: www.eportfolio.lagcc.cuny.edu Language: English - Date: 2012-06-27 12:59:38 Software Computer access control Prevention Access control Password Security Login Social engineering WhatPulse Features of the Opera web browser
999	Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN: Add to Reading List Source URL: www.scpe.org Language: English - Date: 2016-08-02 01:58:21 Engineering Computing Theoretical computer science Product testing Systems engineering Workflow technology Model checkers PRISM model checker Model checking Workflow Markov chain Reliability engineering
1000	Exercise 11: Counting 1 The goal of this exercise is to understand the consistency properties of the bounded max register implementation from the lecture. a) Show that if one always writes to R< if i < M , regardless of Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2015-01-14 07:29:22 Concurrency control Computing Computer architecture Computer engineering Linearizability Safe semantics Processor register Shared register Atomic semantics